<?php
$string['serverclock'] = 'Server Clock';
$string['tagline'] = 'StOPKa<sup>2</sup> current time:';
$string['months'] = 'var montharray=new Array(\'January\',\'February\',\'March\',\'April\',\'May\',\'June\',\'July\',\'August\',\'September\',\'October\',\'November\',\'December\')';
$string['dateformat'] = 'var datestring=montharray[serverdate.getMonth()]+\' \'+padlength(serverdate.getDate())+\', \'+serverdate.getFullYear()';
?>
